简体版 繁體版 English
로그인 회원가입

variable bound 예문

예문모바일

  • The Derived VP Rule has derived two VPs containing separate ?-operators with referential variables bound in each antecedent clause.
  • Here, " Op x " is the empty operator and " x " is the variable bound by that operator, functioning as the extraction islands.
  • It therefore cannot c-command the pronoun " ta ", and so the pronoun cannot be interpreted as a variable bound to the quantifier.
  • Variables bound at the top level of a program are technically free variables within the terms to which they are bound but are often treated specially because they can be compiled as fixed addresses.
  • In the work she argued ( developing an insight by the philosopher quantifiers but free variables bound by an existential operator inserted in the sentence by a semantic operation that she dubbed existential closure.
  • Quine argued that the only ontologically committing expressions are variables bound by a first-order existential quantifier, and natural language expressions which were formalized using variables bound by first-order existential quantifiers.
  • Quine argued that the only ontologically committing expressions are variables bound by a first-order existential quantifier, and natural language expressions which were formalized using variables bound by first-order existential quantifiers.
  • In such cases, a variable bound by an anterior variable-binding operator occurs within a non-extensional context such as that created by a'that'clause, or, alternatively, by propositional attitude or modal operators.